Topology via Constructive Logic
نویسنده
چکیده
By working constructively in the sense of geometric logic, topology can be hidden. This applies also to toposes as generalized topological spaces.
منابع مشابه
Inductively generated formal topologies
Formal topology is today an established topic in the development of constructive, that is intuitionistic and predicative, mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not sensible...
متن کاملApartness spaces as a framework for constructive topology
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
متن کاملQuotient topologies in constructive set theory and type theory
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set theory. MSC: primary 03F65, 54B15, secondary 03B15, 03E70.
متن کاملConstructive Neural Network Learning Algorithms
Constructive Algorithms offer an approach for incremental construction of potentially minimal neural network architectures for pattern classification tasks. These algorithms obviate the need for an ad-hoc apriori choice of the network topology. The constructive algorithm design involves alternately augmenting the existing network topology by adding one or more threshold logic units and training...
متن کاملJourney into Apartness Space
On more than one occasion, the late Errett Bishop [1] suggested that general pointset topology might have little signi cance for constructive mathematics, and that locally convex spaces, together with appropriate ad hoc topological constructions, might su¢ ce for most constructive analysis. Work begun by us ve years ago suggests that, on the contrary, there is at least one constructive approa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999